Component-based software development regards software construction in terms of conventional engineering disciplines where ...
Continue readingThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Continue readingThe Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Continue readingThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Continue readingThis book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Continue readingThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Continue readingConstitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...
Continue reading